0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Quantifier#Environment#CodeForest.Block#CodeForest#Context#,1991
In pattern: SUPERPATTERN
Frequency: 4
Non-data size: 5
Instances
1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Quantifier#Environment#CodeForest.Block#CodeForest#Context#,1991
1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Quantifier#Environment#CodeForest.Block#CodeForest#Context#,1991
1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.BinOp#Environment#CodeForest.Block#CodeForest#Context#,1945
1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.BinOp#Environment#CodeForest.Block#CodeForest#Context#,1945
1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Quantifier#Environment#CodeForest.Block#CodeForest#Context#,1991
1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.BinOp#Environment#CodeForest.Block#CodeForest#Context#,1945
1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Quantifier#Environment#CodeForest.Block#CodeForest#Context#,1991
1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.BinOp#Environment#CodeForest.Block#CodeForest#Context#,1945